-
1 primitive recursive number
Математика: примитивно рекурсивное числоУниверсальный англо-русский словарь > primitive recursive number
-
2 primitive recursive number
English-Russian scientific dictionary > primitive recursive number
-
3 number
1) число || числовой2) номер || нумеровать3) код числа4) количество5) колонцифра6) численность || считать, подсчитывать, исчислять8) числительное•a great number of — множество, большое количество
a number of — (целый) ряд, некоторое количество
- absolutely pseudoprime number - connectivity number - deficient number - edge attachment number - edge covering number - edge sensitivity number - expected sample number - general recursively irrational number - geodesic crossing number - integer number - integral number - internal stability number - international customer number - mass exchange number - mixed-radix number - Mohs hardness number - number of principal cotype - number of space dimensions - octonary number - one-digit number - one-figure number - one's complement number - rectilinear crossing number - recursively real number - serial number - Shore hardness number - strictly positive number - vertex covering numberwinding number of a curve with respect to the point — порядок кривой относительно точки (число оборотов вектора, соединяющего данную точку с точкой кривой при обходе кривой)
-
4 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
5 function
ˈfʌnŋkʃən функция, назначение - the * of education is to develop the mind образование имеет своей целью развить умственные способности - glass has an important * in modern architecture стекло занимает важное место в современной архитектуре функция, деятельность;
отправление( организма) - regular *s of the body нормальные функции организма - *s of the nerves функционирование нервной системы обыкн pl должностные обязанности, функции;
круг обязанностей - to perform one's daily *s выполнять повседневные служебные обязанности - to exercise administrative *s исполнять административные обязанности торжественная церемония;
торжество - * to be held on... торжественное собрание состоится... - to attend a great state * присутствовать на большом торжестве (разговорное) прием, вечер - quite a small * вечеринка - to see smb. at a * встретить кого-л на приеме (математика) функция - * linear * линейная функция функционировать, действовать;
работать - the telephone was not *ing телефон не работал выполнять функции, исполнять обязанности - the new official started *ing новый чиновник приступил к своим обязанностям - when the mother was ill the eldest girl had to * as both cook and housemaid когда мать была больна, старшей девочке приходилось и готовить, и убирать дом - in earlier English the present tense often *ed as the future в древнеанглийском языке настоящее время часто заменяло будущее address ~ вчт. адресная функция administrative ~ управленческая функция approximation ~ аппроксимирующая функция arithmetic ~ арифметическая функция array handling ~ вчт. функция обработки массивов as a ~ в качестве функции average sample number ~ функция среднего числа наблюдений belief ~ функция доверия blending ~ стыковочная функция Boolean ~ мат. булева функция buffer ~ согласующая функция buffer ~ функция буферного запаса built-in ~ вчт. встроенная функция built-in ~ стандартная функция bus resolution ~ вчт. функция разрешения шины circuit ~ вчт. схемная функция constraint ~ функция ограничений consumption ~ функция потребления convex ~ выпуклая функция covariance ~ функция ковариации criterion ~ оценочная функция criterion ~ целевая функция cumulative distribution ~ стат. интегральная функция распределения damped ~ затухающая функция decision ~ решающая функция degate ~ блокирующая функция demand ~ функция спроса driving ~ задающая функция dual ~ двойственная функция empiric distribution ~ эмпирическая функция распределения empiric ~ эмпирическая функция empirical distribution ~ эмпирическая функция распределения error ~ функция ошибок evaluation ~ оценочная функция exponential ~ экспоненциальная функция finance ~ финансовая служба fitled ~ эмпирическая функция fitted ~ подобранная функция fitted ~ эмпирическая функция frequency ~ плотность вероятности function разг. вечер, прием (часто public или social function) ~ действовать ~ (обыкн. pl) должностные обязанности ~ исполнять назначение ~ назначение ~ отправление (организма) ~ торжество;
торжественное собрание ~ функционировать, действовать;
выполнять функции ~ функционировать ~ мат. функция ~ функция, назначение ~ функция goal ~ целевая функция hashing ~ функция расстановки ill-behaved ~ нерегулярная функция illegal ~ вчт. запрещенная функция impure ~ вчт. функция с побочным эффектом intrinsic ~ вчт. встроенная функция inverse ~ обратная функция issuing ~ эмиссионная функция key ~ вчт. ключевая функция library ~ вчт. библиотечная функция likelihood ~ функция правдоподобия line ~ функция линейного подразделения linear utility ~ линейная функция полезности main ~ главная функция mapping ~ вчт. отображающая функция membership ~ функция принадлежности merit ~ оценочная функция nonlinear ~ нелинейная функция nonsale ~ обязанности, не связанные со сбытом nospread ~ вчт. специальная форма objective ~ вчт. целевая функция optimal decision ~ оптимальная решающая функция optimized ~ вчт. оптимизированная функция plotted ~ график функции polymorphic ~ вчт. полиморфная функция predefined ~ вчт. стандартная функция preference ~ функция предпочтения primary ~ первичная функция primitive recursive ~ вчт. примитивная рекурсивная функция processing ~ вчт. вычислительная функция processor defined ~ вчт. встроенная машинно-зависимая функция production ~ производственная функция purchasing ~ закупочная деятельность pure ~ вчт. функция без побочного эффекта ramp ~ вчт. телообразная функция ranking ~ функция ранжирования recording ~ функция учета recursive ~ рекурсивная функция regression ~ функция регрессии sales ~ отдел сбыта sales ~ торговый отдел sales ~ функция сбыта secretarial ~ должностные обязанности секретаря secretarial ~ круг обязанностей секретаря service ~ вчт. функция обслуживания shifting ~ вчт. функция сдвига shuffle ~ вчт. функция переключения signum ~ вчт. знаковая функция single-valued ~ однозначная функция staff ~ функции центрального аппарата предприятия state ~ государственная функция state ~ вчт. функция состояния statement ~ вчт. оператор -функция statistical decision ~ статистическая решающая функция stochastic ~ стохастическая функция storage ~ вчт. функция запоминания storage ~ вчт. функция хранения stream ~ вчт. потоковая функция supervising ~ контрольная функция supervisory ~ наблюдательная функция supply ~ функция предложения support ~ вчт. функция поддержки table ~ табличная функция tabulated ~ табличная функция target ~ вчт. целевая функция threshold ~ пороговая функция utility ~ вчт. утилита weight ~ весовая функцияБольшой англо-русский и русско-английский словарь > function
-
6 function
[ˈfʌnŋkʃən]address function вчт. адресная функция administrative function управленческая функция approximation function аппроксимирующая функция arithmetic function арифметическая функция array handling function вчт. функция обработки массивов as a function в качестве функции average sample number function функция среднего числа наблюдений belief function функция доверия blending function стыковочная функция Boolean function мат. булева функция buffer function согласующая функция buffer function функция буферного запаса built-in function вчт. встроенная функция built-in function стандартная функция bus resolution function вчт. функция разрешения шины circuit function вчт. схемная функция constraint function функция ограничений consumption function функция потребления convex function выпуклая функция covariance function функция ковариации criterion function оценочная функция criterion function целевая функция cumulative distribution function стат. интегральная функция распределения damped function затухающая функция decision function решающая функция degate function блокирующая функция demand function функция спроса driving function задающая функция dual function двойственная функция empiric distribution function эмпирическая функция распределения empiric function эмпирическая функция empirical distribution function эмпирическая функция распределения error function функция ошибок evaluation function оценочная функция exponential function экспоненциальная функция finance function финансовая служба fitled function эмпирическая функция fitted function подобранная функция fitted function эмпирическая функция frequency function плотность вероятности function разг. вечер, прием (часто public или social function) function действовать function (обыкн. pl) должностные обязанности function исполнять назначение function назначение function отправление (организма) function торжество; торжественное собрание function функционировать, действовать; выполнять функции function функционировать function мат. функция function функция, назначение function функция goal function целевая функция hashing function функция расстановки ill-behaved function нерегулярная функция illegal function вчт. запрещенная функция impure function вчт. функция с побочным эффектом intrinsic function вчт. встроенная функция inverse function обратная функция issuing function эмиссионная функция key function вчт. ключевая функция library function вчт. библиотечная функция likelihood function функция правдоподобия line function функция линейного подразделения linear utility function линейная функция полезности main function главная функция mapping function вчт. отображающая функция membership function функция принадлежности merit function оценочная функция nonlinear function нелинейная функция nonsale function обязанности, не связанные со сбытом nospread function вчт. специальная форма objective function вчт. целевая функция optimal decision function оптимальная решающая функция optimized function вчт. оптимизированная функция plotted function график функции polymorphic function вчт. полиморфная функция predefined function вчт. стандартная функция preference function функция предпочтения primary function первичная функция primitive recursive function вчт. примитивная рекурсивная функция processing function вчт. вычислительная функция processor defined function вчт. встроенная машинно-зависимая функция production function производственная функция purchasing function закупочная деятельность pure function вчт. функция без побочного эффекта ramp function вчт. телообразная функция ranking function функция ранжирования recording function функция учета recursive function рекурсивная функция regression function функция регрессии sales function отдел сбыта sales function торговый отдел sales function функция сбыта secretarial function должностные обязанности секретаря secretarial function круг обязанностей секретаря service function вчт. функция обслуживания shifting function вчт. функция сдвига shuffle function вчт. функция переключения signum function вчт. знаковая функция single-valued function однозначная функция staff function функции центрального аппарата предприятия state function государственная функция state function вчт. функция состояния statement function вчт. оператор -функция statistical decision function статистическая решающая функция stochastic function стохастическая функция storage function вчт. функция запоминания storage function вчт. функция хранения stream function вчт. потоковая функция supervising function контрольная функция supervisory function наблюдательная функция supply function функция предложения support function вчт. функция поддержки table function табличная функция tabulated function табличная функция target function вчт. целевая функция threshold function пороговая функция utility function вчт. утилита weight function весовая функция -
7 class
1) класс; разряд; категория || классифицировать2) качество; сорт3) класс, группа ( в учебном заведении)4) курс лекций, курс обучения• -
8 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation -
9 set
1) набор; комплект- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids- snap set2) партия3) совокупность; множество4) установка; агрегат- desk telephone set - dial telephone set- gear set- local-battery telephone set - man-pack radio set - multi-operator welding set - sound-powered telephone set - wall telephone set5) регулировка; настройка || регулировать; настраивать6) группа; ансамбль7) класс; семейство9) схватывание || схватываться10) затвердевание || затвердевать11) крепление || закреплять12) геол. свита пород13) осадка (грунта) || оседать ( о грунте)14) радиоточка15) спорт сет16) включать, приводить в действие17) мат. множествоset closed under operation — множество, замкнутое относительно операции
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set - affinely independent set - affinely invariant set - algebraically independent set - almost finite set - almost full set - angular cluster set - asymptotically indecomposable set - at most denumerable set - centro-symmetric set - completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set - constructively nonrecursive set - convexly independent set - countably infinite setto set aside — не учитывать, не принимать во внимание; откладывать
- cut set- cyclically ordered set - deductively inconsistent set - derived set - doubly well-ordered set - dual set of equations - dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set - enumeration reducible set - finely perfect set - finitely definite set - finitely measurable set- flat set- full set- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set - generalized almost periodic set- goal set- internally stable set- knot set- left directed set - left normal set - left-hand cluster set - linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set - metrically bounded set - metrically dense set - multiply ordered set - nearly analytic set - nearly closed set - nonvoid set - normally ordered set- null set- open in rays set - partitioned data set- peak set- pole set- positively homothetic set- pure set- radially open set - rationally independent set - recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set - regularly convex set - regularly situated sets - relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set - right normal set - right-hand cluster set- scar set- sequentially complete set - serially ordered set - set of elementary events - set of first category - set of first kind - set of first species - set of possible outcomes - set of probability null - set of second category - set of second species - shift invariant set - simply connected set - simply ordered set - simply transitive set- skew set- star set- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set- tame set- tautologically complete set - tautologically consistent set - tautologically inconsistent set- test set- thin set- tie set- time set- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set - truth-table reducible set - uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set- unit set- vacuous set- void set- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set -
10 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
11 sequence
1) очерёдность; порядок следования3) геол. стратиграфический разрез4) серия, комплекс•- absolutely divergent sequence - absolutely limited sequence - absolutely summable sequence - absolutely unbiased sequence - adjusted homology sequence - asymptotically convergent sequence - asymptotically isotropic sequence - asymptotically lattice sequence - compactly divergent sequence - completely reversible sequence - conditionally divergent sequence - decimal geometric sequence - delicately divergent sequence - discretely convergent sequence - essentially convergent sequence - essentially finite sequence - essentially periodic sequence - everywhere dense sequence - infinitely large sequence - infinitely proceeding sequence - infinitely small sequence - integral stationary sequence - inverse sequence - inverted sequence - linearly independent sequence - locally convergent sequence - metrically convergent sequence - metrically transitive sequence - monotonically decreasing sequence - monotonically increasing sequence - never increasing sequence - numerical sequence - projectively realizable sequence - properly divergent sequence - rapid acquisition sequence - rapidly decreasing sequence - rapidly increasing sequence - recursively defined sequence - recursively divergent sequence - recursively enumerable sequence - relatively compact sequence - sequence of prime numbers - sequence of principal indices - slowly decreasing sequence - slowly increasing sequence - slowly oscillating sequence - stochastically compact sequence - stochastically stable sequence - strictly increasing sequence - strictly measurable sequence - strictly monotonic sequence - strongly convergent sequence - strongly downward sequence - strongly stationary sequence - strongly summable sequence - totally increasing sequence - totally monotone sequence - two-taile sequence - two-way infinite sequence - unconditionally divergent sequence - uniformly divergent sequence - uniformly integrable sequence - weakly convergent sequence
См. также в других словарях:
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
primitive recursive — adjective Of a function, capable of being constructed from the zero function, successor function, and projection functions, by a finite number of applications of composition and recursion … Wiktionary
recursive — A procedure that is applied once, and then applied to the result of that application, and so on. A recursive definition (definition by induction) defines the result of some operation for 0, and then the result for any number n + 1 in terms of the … Philosophy dictionary
Recursive set — In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set. A more… … Wikipedia
number game — Introduction any of various puzzles and games that involve aspects of mathematics. Mathematical recreations comprise puzzles and games that vary from naive amusements to sophisticated problems, some of which have never been solved.… … Universalium
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
Super-recursive algorithm — In computer science and computability theory, super recursive algorithms are algorithms that are more powerful, that is, compute more, than Turing machines. The term was introduced by Mark Burgin, whose book Super recursive algorithms develops… … Wikipedia
Van der Waerden number — Van der Waerden s theorem states that for any positive integers r and k there exists a positive integer N such that if the integers {1, 2, ..., N } are colored, each with one of r different colors, then there are at least k integers in arithmetic … Wikipedia
Bernoulli number — In mathematics, the Bernoulli numbers Bn are a sequence of rational numbers with deep connections to number theory. They are closely related to the values of the Riemann zeta function at negative integers. There are several conventions for… … Wikipedia